Körpererweiterung/Separabel erzeugt/Definition