This (Belkin Mini DisplayPort to HDMI Adapter, purchased from "Belkin Inc") technically works fine as a display adapter

It works like expected, you can see the display in System preferences and I have access to the full resolution of the display.