The loss-making sale of CD Projekt $CDR (-0,15 %) would be reinvested directly. The position is therefore also full.