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

I'm unsure what the correct operating hours are lol, I'd assume Mon,Tue,Thur,Fri 09:30-14:00?

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