Copyright: Copyright 2009 Topic Maps Lab, University of Leipzig. License: Apache License, Version 2.0 See http://rtm.topicmapslab.de/ for instructions.