Unable to answer "Are these opening hours still correct?" – on level 0: Degusto (Delicatessen) – https://osm.org/node/3952858177 via StreetComplete 57.2:

Laden ist noch nicht ausgeräumt, zieht um in die Kaiser-Joseph-Straße

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