"Четверки" и "Штуги" поставлялись немцами в Испанию в 1943 г в рамках программы "Bar" на вполне себе коммерческой основе, уважаемый Начальник Генштаба. И были проданы испанцами Сирии в 1965 г. Так что в любом случае к войне 1956 г они отношения не имеют.