— Danmarks folkmängd war den 1februari