Styrtregn og hagl ga ny nedbørsrekord i Oslo