ASR-deal levert schatkist 725 miljoen op