@Joachim: Ja. Danke für den Hinweis. Hier habe ich leider einen Fehler im Bot gehabt (eingebaut vor ein paar Tagen). Dieser hatte hier fälschlicherweise einen Kommentar hinterlassen. Sorry.

#HappyMapping