Unable to answer "Are these opening hours still correct?" – GLS (Post Office) – https://osm.org/node/6128936593 via StreetComplete 58.2:

Änderungsschneiderei
Mo - Fr: 9:30 -19:00
Sa: 9:30 - 14:00

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