Unable to answer "Are these opening hours still correct?" for https://osm.org/node/643462941 via StreetComplete 53.0:

Öffnungszeiten ändern sich pro Semester. Teilweise auch zwischendurch.
Die Bibliothek ist länger offen aber aber einer gewissen Uhrzeit nicht mehr besetzt.

Attached photo(s):
https://westnordost.de/p/152530.jpg