Numa hora choveu no Porto o equivalente a meio mês de outubro