Unter Auslagern verstehe ich das Übernehmen in einen eigenen Artikel, wie Du ihn angeregt hast. Wenn den aber keiner machen will (Relevanz?), einfach löschen. In der Versionsgeschichte ist er ja noch zu kriegen, falls er mal vermißt wird. -- Laurentianus 22:30, 16. Apr. 2018 (CEST)