Neulich erst gelernt, dass ’s-Gravenhage ein anderer Name von Den Haag ist (ähnlich wie bei ’s-Hertogenbosch/Den Bosch)