Gastwirtschaft am Würmsee ist vermutlich dauerhaft geschlossen. Grund: Nicht mehr verortet