Die Korrektur ist abgeschlossen. $ETH und sein Ökosystem wird von hier aus weitermachen.