"extenuation" Deutsche bedeutung