Holger Jensen — Danish mayor