The pursuit of former Austrian policeman Franz Stangl, who served as commandant of the Nazi extermination camps Sobibor and Treblinka