IXYS devices: how to buy them in Europe?

[tca]

Hi,
where can I buy IXYS devices in Europe?

I've been looking at the IXYS Europe - Sales Representatives and Distributors but I can't find any end-user online store.

Any suggestions?