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