Translation of "Restitutionsklage" in English