Roskilde Domkirke og Stændertorvet, solgt