id=4177 4177 4177 Eddingem onb. in Holland Eddingem 9e kop. 10e kop. eind 11e ed. DB, p. 340