Pool has to be terminated after use

Otherwise I end up with huge numbers of actors when the application crashes, with the database pool completely used...