Some minor changes to please the Praktomat. Also major additions to the
README.