Fitting out the Palacio de Deportes of barcelona as a musical theatre