geändert. Danke...

Ich hab noch keine aktuelle Telefonnummer gefunden... ist das dei selbe, wie beim Restaurant? Auch eine aktuelle Webseite fand ich noch nicht... 
Entsprechende Altangaben erst mal auskommentiert und bisherigen Name nach old_name verschoben, da es unter dem alten Namen auch nicht zu finden zu sein scheint.