Unable to answer "Are these opening hours still correct?" – on level 0: Buchkantine (Restaurant) – https://osm.org/node/728708453 via StreetComplete 59.1:

Betrifft Café und Feinkost. Die Buchhandlung (im selben Raum) hat andere Öffnungszeiten.  Mo-Fr 10-19, Sa 10-18.