Unable to answer "Are these opening hours still correct?" – Restroom – https://osm.org/node/1848921482 via StreetComplete 57.4:

Hier gibt es unterschiedlichen Angaben bezüglich der Öffnungszeit an Samstagen. Innen: 8:00-16:00, außen 8:00-18:00 Uhr.

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