Did sedo buy this domain name off me?

[ilovedomains]

Hi

I have recently sold a domain name on sedo premium autction,

I have to push the domain name into a account with the registrar, The account to be pushed into (On sedo's say so) has the contact details as sedo,

Are they the buyer or do they hold onto the domain name for the orginal buyer? Money has been recieved to sedo?

Thanks