Translation of "Rederivation" in German