Unable to answer "Are these opening hours still correct?" – Joe's Bar (Pub) – https://osm.org/node/2043095960 via StreetComplete 58.2:

At least it isn't open on a Saturday around 17:00. But currently it's the summer months.