"auxiliary set" Deutsche bedeutung