I would like to thank Anjo Anjewierden for comments on the definition, implementation and documentation of the original C++ interface. Peter Ludemann implemented the current version (2) of the interface (see section 1.1).