Translation of "Salvatorian clause" in German