Nachdem $NEIRO nicht über 15241 hinausgekommen ist, habe ich erklärt, dass das Ziel 10000 war. Es erreichte 10400, aber das ist nicht genug; ich möchte ein vollständiges Niveau von 10000. Fortfahren...