Spitzbub is a restaurant.