Müller's Grill-Ecke is a restaurant.