Deutsches Ortsnamenbuch - pocket, Tyska, 2017