Historisches Ortsnamenbuch von Bayern, Oberfranken.