@Tapeworm: yes you read correctly.
I also think it is an strange problem. I hope that somebody has another idea than that I have to buy sandisk cards. These cards aren’t cheap in germany and there are not often offers which are ok (a sandisk 8gb costs at amazon.de about 25,00 EUR = 32,00 US$).
