Release of Version 4.0.1

This release is a regular maintenance release. It contains bug fixes and minor improvements regarding the documentation only.

Please take a look at the change log to get more information about this release.