This was obviously a very unusual event for DUB but I wonder if anyone there can confirm as to whether this was indeed a tornado, or something else such as a microburst? Tornadoes, be they large or small, tend to leave a very characteristic damage trail due to the rotating vortex. Microbursts, or intense downdraughts, on the other hand have a rather different effect in terms of damage, due to the downwards and outwards nature of the wind.
I am interested because parts of south west London were subject to a similar phenomenon last summer, which created siginificant damage but was definitiely not a tornado. Fortunately this particular "microstorm" missed LHR and its approaches, but only by a few miles. I think it is possible that the storm that hit parts of Paris last month was also some form of microburst, although I have seen less information on that one.