Hey Frank,
Thanks for your fast reply. It solved the reg domain problem and let me discover higher wifi channels.
Unfortunately, I am not sure, what step brought me the solution...
As you described, I updated the kernel with
pacman -Sy --force raspberrypi-firmware-bootloader linux-raspberrypi
after having resized my sd card as described in your link.
(For some bandwidth problems, I had to run the kernel update command twice...)
For some reasons, crda was already installed. I have had not changed the conf.d/wireless-regdom file... but tried this before:
export COUNTRY=DE
crda
but got the error
failed to set regulatory domain: -7
So I looked into the conf.d file that already included the right reg domain (DE). Finally, the wifi channel appeared in the wifi list.
Thanks again!
Peter