#3 exception handling if disk space is exceeded

[Stephan Mueller]

Whenever a new version of a file is created the content
of the old file will be copied. The case of unavailable
disk spase has to be considered.