Thank you very much! They just arrived - so I assume everything works fine now.

Strange enough, though, my wallet now claims to be out of sync. It says that it has processed 38186 blocks - and that number just doesn't change. Your very much appreciated donation, however, popped up.