mailto:thm@informatik.uni-rostock.de