Ravenstein

== Dutch == === Alternative forms === Ravvestein (dialect spelling) === Etymology === First attested as ravesteyn in 1460. From Middle Dutch Walraven (a personal name) and -stein (“castle, stone building”). Originally the name of a castle around which the city sprung up. === Pronunciation === IPA(key): /ˈraː.və(n)ˌstɛi̯n/ Hyphenation: Ra‧ven‧stein === Proper noun === Ravenstein n a city and former municipality of Oss, North Brabant, Netherlands Synonym: Pomperstad (Carnival nickname) ==== Derived terms ==== Ravensteiner Ravensteins === References === van Berkel, Gerard; Samplonius, Kees (2018), Nederlandse plaatsnamen verklaard (in Dutch), Mijnbestseller.nl, →ISBN