Graveland

== Dutch == === Etymology === Compound of the toponym Grave and land (“land”). Named after the former Grave farmstead. === Pronunciation === IPA(key): /ˈɣraː.vəˌlɑnt/ Hyphenation: Gra‧ve‧land === Proper noun === Graveland n a neighbourhood of Deventer, Overijssel, Netherlands === References === van Berkel, Gerard; Samplonius, Kees (2018), “Graveland”, in Nederlandse plaatsnamen verklaard‎[1] (in Dutch), Mijnbestseller.nl, →ISBN