In the published version of this text here I’ve changed the names of the building and removed the name of the institution to draw attention away from the particularities.