You are correct that most oils sold in Europe are rated for both Gasoline and Diesel such as A3 ( Gas ) and B4 ( Diesel ) however these are not HDEOs, these are light duty passenger car oils, the term HDEO refers to oils made for Heavy duty Diesel engines like the ones used in large truck engines.I might be wrong but I think at leaswt 90% oils in the market in EU are rated for both, gasoline and diesel. So whichever I'd choose would be 'HDEO' (I assume so...)
I think a 15W40 HDEO like Shell Rimula R4X or Mobil Delvac MX would be good choices, these are true HDEOs but they are also approved for Gasoline engines, both are API SL and CI-4.