Translation of "Derive" in German