Docker-compose down takes 10 seconds

When using GHC with Docker I've noticed that the command `docker-compose down` takes about 10 seconds. This is an indication that the containers are removed forcefully by Docker. Probably the termination signal sent by Docker is not captured properly, which results in an unclean shutdown.

Beginne damit, die Verzögerung mit Docker und `docker-compose down` unter Verwendung von GHC zu reproduzieren, und untersuche dann, wie die Anwendung Docker-Terminierungssignale verarbeitet. Die Aufgabe ist abgeschlossen, wenn die Container sauber heruntergefahren werden, ohne dass Docker sie zwangsweise entfernt oder etwa 10 Sekunden wartet.

Vom Indexierungsmodell aus dem Issue-Text verfasst.