Was ist das Doppelte von 25?