Peder Bent Jensen — Danish mayor (1932–2020)