Dear Maintainer,with the most recent Debian testing packages, I am no longer seeing this problem -- the mic works now in the "normal" (not "Pro") setting. In fact the "pro" setting seems to be broken now, I can't hear anything from the speakers when I use that, but lucky enough I am not an audio pro so I will ignore that. ;)
I updated around 1000 packages yesterday; no idea which one brought the fix. Kind regards, Ralf
