4 ms·

Thanks, that does seem incredibly lucky indeed. Also, I like the headline including "all parties ok".