Acknowledgements

I would like to thank Joachim Ziegler for his patience throughout the development. He had the initial idea for Annotate, and without his advice, it certainly would not have become reality. Thanks go also to the people at the Max-Planck-Institut für Informatik for their support.