ABN kostte dus niet 16,8 maar 23 miljard.