In my case it was the micro hdmi-hdmi adaptor. Bought a micro hdmi to hdmi cable yesterday, swapped it and voila, it started working straightaway. TV is a Panasonic TX-P50VT60. After a countless number of reboots, switching devices off and back on in various order and whatnot, the easiest solution was the correct one. What a waste of time on a cheapest part of the chain....