The Bishop, the Architect and the Baldachin. Gaudi in the Mallorca Cathedral