Tatsache, verrechnet!
Ok, neuer Versuch: 9.44kg abspecken (85 * 0.8 / 0.9)

Ist ein wenig mehr als bei deiner Rechnung, weil sich die Masse, von der man die 10% rechnet, verringert. Die nächste schöne runde Zahl ist dann die 10 (kg) :D