$PIPPIN nicht kurz machen. Wir sind genau am selben Punkt, von dem der Kurs auf 0,76 sprang.