Yeah I’m not denying that

It’s not uncommon in summer but to that extent it is - and my comment only said that it’s not an autumn thing in Germany and I stand by that since it’s usually only happening during summer storms or in winter

In autumn it usually just rains since we don’t have those extreme short storms after a calm day the same way we have in summer and hail only happens with those