copying files - how?

[Stefan Waizmann]

Hi, guys,

does anybody have an idea how to copy files with python (means a python code 
should copy a file)? As the file might be big, efficient os-operations 
would be preferred ;-)

Thanks, Stefan