Historisches Ortsnamenbuch von Bayern / Oberbayern