Unable to answer "Are these opening hours still correct?" – Joschi's Bar Restaurant (German Restaurant) – https://osm.org/node/1108732774 via StreetComplete 58.2:

Das Restaurant ist bereits seit Jahren geschlossen.