Stephanstüble is a restaurant.