Lexicon van Nederlandse toponiemen tot 1200 by D.P. Blok, J.M. Verhoeff & R.E. Kunzel