Alte Zunft is a restaurant.