Alte Runde Ecke is a pub.