I have now decided to sell a second tranche $XMR to sell. After all, a 25 x, average purchase price was €7.27, but was not entered correctly here. The proceeds will be invested in shares / ETF.