Dedekindbereich/Chinesischer Restsatz/Fakt/Name