You are comparing US pricing with EU pricing. EU pricing includes 21% VAT and currency conversion "rounding up".

The cheapest 128GB Macbook Pro here costs €7.949,00.

No doubt a better value than the HP, and will depreciate a lot less quickly, but just as expensive. Unfortunately, not being able to run Linux is a breaking point for me.