Unable to answer "Are these opening hours still correct?" – Universitätsbibliothek der TUHH (Library) – https://osm.org/node/277305227 via StreetComplete 63.0:

Zu den Randzeiten, Wochenende und Feiertage open library nur mit Benutzerausweis