How many police were shot in the street battle of Horlgasse