Definition. Ganze Zahlen - Integers [0035]