Glazen dak diamantbeurs: the making of the dome