Die Pinte is a pub.