Müllers Wengertstüble is a restaurant.