Jorge Martin wins in Spielberg ahead of Marini and Schrotter in a shortened 13 lap race following a red flag