[Forensuche mit Pluszeichen geht leider nicht] Worin unterscheiden sich das alte und das neue Mango eigentlich ausser dem Wegfall der schönen eingezogenen Flanke? Michael
