Ein Dedekindscher Schnitt.