$NOT Ich weiß, dass es mindestens 0,007200 erreichen wird