Ernst Thomsen — Danish mayor