Zum Elefanten is a bar.