I think the options expired in the last few days, though stand to be corrected. It's around about now, anyway.
As I had been concerned about, the share price dropped quite to about E6.80 a bit towards the end of last month, and though it recovered a bit, the last I saw was about E7.20ish, down on the early June peak of over E7.50. Glad I did mine when I did. I wonder if the price drop was due to so many options being cashed in at the same time, hardly flooding the market but enough to lower prices?