mayor of Haarlemmermeer — public office in the Netherlands