I believe you, it's common practice to just change the $ to € and don't apply the actual conversion rate. Poor us Europeans

I checked out and 19% german VAT applied at the end. It was 9.02€ VAT for the 50% discounted price.