Followup: with the suggestion from aba I have manually installed the package firmware-linux-nonfree, now everything works (manually because apt-get couldn't find the package somehow, so I downloaded it from the debian website). that is all