Kosterhuis is a pub.