"vollständiges Restsystem" Englisch