Why historical name "Arensburg" was moved from "old_name:de" to "name:de" here? "Arensburg" seem to be uncommon in modern German, this is why German Wikipedia also uses different name as article title.

See also previous comments here: https://www.openstreetmap.org/changeset/137915811