@stonelance
Yes, it was the card. An otherwise fine card; my cameras had not problems with it. It is a 64GB, class 10 card. I have changed it with a 4GB, class 4 and now everything is fine.
It would be nice to know what the actual cause is.
Thank you.