Historisches Ortsnamenbuch von Bayern, Oberbayern.