Today we booted the Linux again on this PC. Without doing something the sound now works from the start. It seems it only needs one more reboot. In the mixer all 3 sound devices now can be seen. This bug can be closed with success! :-) Regards Karsten