Hoofddorp

== Dutch == === Etymology === First attested as Kruisdorp in 1867. Compound of hoofd (“head-, chief”) and dorp (“village”). Originally named Kruisdorp after the village's central location in the Haarlemmermeer. The settlement was renamed in 1868 as it became the chief settlement of the polder. === Pronunciation === Hyphenation: Hoofd‧dorp === Proper noun === Hoofddorp n a town in Haarlemmermeer, North Holland, Netherlands Synonym: Meerbonkendorp (Carnival nickname) ==== Derived terms ==== Hoofddorper Hoofddorps === References === van Berkel, Gerard; Samplonius, Kees (2018), “Hoofddorp”, in Nederlandse plaatsnamen verklaard‎[1] (in Dutch), Mijnbestseller.nl, →ISBN