How does eBay discount work?

[kopenhagen5]

If a buyer uses a discount voucher then the seller gets the full amount and eBay pays for the discount on behalf of the buyer.