This is just impossible to get running with the gui-tools. I can get the sound to go out to the tv via hdmi if I use the sound device 3 channel 7 or something like that. But where I configure the sound devices, this one does not even exist.
This is a huge problem with linux. There is always something screwing up the sound. There has always been these bugs.
For example using tv-cards will often give you problems with the sound, the sound is muted somehow, in both the hardware and the microphone often. So it is difficult to find the problem.
Maybe I should try cinnamon/gnome3/fedora instead...