Noteworthy changes in version 0.5.0 (25.06.99)
----------------------------------------------

    * verification is now much faster

