Zauberkessel is a restaurant.