Is it possible to have the sound output both through HDMI and through the speaker jack socket on my PC?
Yes with pulseaudio
Use both audio outs as sink.
it's possible without pulse too using asound.conf, search the forum for config.
Thanks for your answers - I'll look into that.