Text this: Kleiner historischer Städtenamen-Schlüssel für Deutschland