Kürzung der Öffnungszeiten der Erfurter Bibliotheken mitten in der Urlaubszeit