I was able to do some research and unfortunately the manufacturer does not have different SKUs for the two power supplies. As the SKU and the EAN code remain the same, it is unfortunately not possible to tell which one is which. Normally, manufacturers do this when they make internal technical updates, but don't want to release a completely new product.

Many thanks for the research and the quick feedback. So I probably won't buy the model, because I don't fancy a stock lottery.