Troubleshooting • Re: No sound via HDMI on 3B+

Code:

holger@raspotify:~ $ aplay -l**** List of PLAYBACK Hardware Devices ****card 0: Headphones [bcm2835 Headphones], device 0: bcm2835 Headphones [bcm2835 Headphones]  Subdevices: 8/8  Subdevice #0: subdevice #0  Subdevice #1: subdevice #1  Subdevice #2: subdevice #2  Subdevice #3: subdevice #3  Subdevice #4: subdevice #4  Subdevice #5: subdevice #5  Subdevice #6: subdevice #6  Subdevice #7: subdevice #7card 1: vc4hdmi [vc4-hdmi], device 0: MAI PCM i2s-hifi-0 [MAI PCM i2s-hifi-0]  Subdevices: 1/1  Subdevice #0: subdevice #0holger@raspotify:~ $ aplay -Lnull    Discard all samples (playback) or generate zero samples (capture)default    Playback/recording through the PulseAudio sound serverlavrate    Rate Converter Plugin Using Libav/FFmpeg Librarysamplerate    Rate Converter Plugin Using Samplerate Libraryspeexrate    Rate Converter Plugin Using Speex Resamplerjack    JACK Audio Connection Kitoss    Open Sound Systempulse    PulseAudio Sound Serverupmix    Plugin for channel upmix (4,6,8)vdownmix    Plugin for channel downmix (stereo) with a simple spacializationhw:CARD=Headphones,DEV=0    bcm2835 Headphones, bcm2835 Headphones    Direct hardware device without any conversionsplughw:CARD=Headphones,DEV=0    bcm2835 Headphones, bcm2835 Headphones    Hardware device with all software conversionssysdefault:CARD=Headphones    bcm2835 Headphones, bcm2835 Headphones    Default Audio Devicedmix:CARD=Headphones,DEV=0    bcm2835 Headphones, bcm2835 Headphones    Direct sample mixing deviceusbstream:CARD=Headphones    bcm2835 Headphones    USB Stream Outputhw:CARD=vc4hdmi,DEV=0    vc4-hdmi, MAI PCM i2s-hifi-0    Direct hardware device without any conversionsplughw:CARD=vc4hdmi,DEV=0    vc4-hdmi, MAI PCM i2s-hifi-0    Hardware device with all software conversionssysdefault:CARD=vc4hdmi    vc4-hdmi, MAI PCM i2s-hifi-0    Default Audio Devicehdmi:CARD=vc4hdmi,DEV=0    vc4-hdmi, MAI PCM i2s-hifi-0    HDMI Audio Outputdmix:CARD=vc4hdmi,DEV=0    vc4-hdmi, MAI PCM i2s-hifi-0    Direct sample mixing deviceusbstream:CARD=vc4hdmi    vc4-hdmi    USB Stream Output