Zur Alten Schmiede is a restaurant.