Was ist das Doppelte von 0?