the vengeful execution of rudolf h ss commandant of auschwitz