[pochmann@rbg.informatik.tu-darmstadt.de: [Inforz] Loesung des Collatz Problems]