geänderte Öffnungszeiten im August in der Bücherei im Römerturm – nur Donnerstag Nachmittag geöffnet (September sind wieder die gewohnten Öffnungszeiten)