Unknown
48.480073, 8.256455 - Open in Google Maps
This place may still be correct, but the information is getting old or incomplete: