Mini DisplayPort to HDMI

[VirtualForce]

I am looking for a Display Port to HDMI converter for my lenovo laptop. In the shops, IC for example, the ask around ~R400.

I saw this one on TakeAlot for R159, but it only mentions support for Apple.

Also, this one from Rebeltech.

Are DisplayPort pinouts not the same? Will this work on Lenovo T440 laptops?

 

[VirtualForce]

Update
The Hama one works perfectly.