Spiegel aus dem Hauptbaum, Stand a6e3d6e6c777 Erzeugt von scripts/wiki_spiegeln.py, eingesortiert von scripts/wiki_veroeffentlichen.py. Die eine Quelle ist public/de/** im Hauptbaum — diese Seiten sind ihr Abdruck und tragen ihren Herkunfts- stempel je Seite. Aenderungen gehoeren in die Quelle, nicht hierher.