I did wonder if he might know something more. I’m at a brick wall at the moment, and all help is appreciated. Not that it is an easy ask, I presume the original building was flattened during WW2.