Die Schlacht im Kanal von Sizilien 15. August 1942 (Tumminelli, 1942)