Quanti millimetri di pioggia caddero a Brescia nel mese di ottobre del 1953?