Gefunden auf der Speisekarte von Arberseehaus (#1 der regionalen Restaurants in Bayerisch Eisenstein) - Öffnet um 10:00 Uhr
Gefunden auf der Speisekarte von Eisensteiner Hütte (#2 der deutschen Restaurants in Bayerisch Eisenstein) - Öffnet um 09:00 Uhr