Even more interesting, for my last redemption on the activities page of my account:
Originally Posted by bmi website
Redemption certificate 1609*** for Manual Redemptions for Flights on STAR Alliance Partners between Zone 1 and Zone 7. PNR reference 3*****
So you even have a record on the website of the ticket you've bought, very useful. The emailing was explicitly mentioned as no longer happening, though in the past all an agent has done is email me via checkmytrip, perhaps they realised it wasn't very professional and better to just not do it at all.