Sort:  

Then still 5 million HIVE is missing...

You're forgetting the price was lower. 25 million HIVE @ 0.4 = 10 million HBD. Not all was converted at 0.4 since the price has been rising. Some more probably powered up or held.