On openstreetmap.de, everything seems up-to-date:
https://openstreetmap.de/karte/?zoom=19&lat=47.63776&lon=7.70636&layers=B00TT
If some rendered map is outdated, there is nothing we can do in the base data.