The manual says:
The next step is to plug your SDI or HDMI source video into the Mini BNC, BNC or HDMI input. Mini BNC to regular BNC cables can be purchased from your nearest professional video equipment stores.
I live in Italy and I haven't been able to find such cables or connectors anywhere. I found (only) one dealer from China in eBay that had Mini BNC cables that looked even remotely fitting. Well, it turns out those were still too big. So I'm still looking for these.
As a workaround I'm using a BMD Micro Converter from HDMI to SDI but that requires an external power source. Unfortunately the BMD battery converters are discontinued.
Edit:
Did they accidentally put a really obscure connector on this device or what?