Geänderte Öffnungszeiten in der Bücherei