Dachshöhle is a pub.