Haifischbecken is a pub.