German casino Den Helder burned down,