The adaptive reuse process of the industrial heritage of the former Rotterdam Dry-Dock Company