Unable to answer "Are these opening hours still correct?" – Hotdog Company (Hot Dog Fast Food) – https://osm.org/node/3581178893 via StreetComplete 58.2:

Today (Sept 16), the posted hours are 11:00-17:00 every day. I suspect this is seasonal?