The description of the changeset in which this and other German names in the area were added indicates that they are historical (pre-war): https://www.openstreetmap.org/changeset/61792175
So I re-tagged them to old_name:de.