I am thankful--with you--that your friend was okay. It is always scary when we have loved ones who are close to where something this evil has happened. British responders are among the best of the best!
Thanks. The terrorist forget that the British people are familiar with this sort of thing.
WWI - Germany bombed London (with Zeppelins and heavy bombers)
WWII - Germany bombed the UK
Post WWII - IRA terror bombings in various cities in the UK.