I cannot use seelct HDMI speakers as output device.
Workarounds described here do not work. I assume that this is because they address problems with alsa, which has been replaced by pulseaudio.
Graphics card:
$ lspci | grep VGA
00:02.0 VGA compatible controller: Intel Corporation HD Graphics 530 (rev 06)
01:00.0 VGA compatible controller: NVIDIA Corporation GM107GLM [Quadro M1000M] (rev a2)
