Merge branch 'LaTeX_documentation_holzi'
Changed bucket handling.
Merge branch 'latex_doc_felix'
Merge branch 'master' into latex_doc_felix
Refreshed javadoc.
Merge branch 'latex_doc_felix'
Kryptosystem.
Merge branch 'LaTeX_documentation_holzi'
Merge branch 'latex_doc_felix'
Merge branch 'master' into LaTeX_documentation_holzi