Пистолет Mauser HSc послевоенного выпуска, ориентированный на экспорт в США