Rathaus Pub is a pub.