Zum Elefanten is a German restaurant.