De Kleine Kroon is a pub.