Kupferkessel is a restaurant.