Thank you Mary,
you were right:
It was a problem with Camtasia’s video codec. I tried to re-compress the file after I had recorded it with Camtasia before importing it into Vegas — and voilá, it worked!
Also, Camtasia supports to record using a different codec right from the beginning. I guess I could have done that as well.
Again, thank you very much for your kind help.
Best,
Steven