toczki@...ool1.informatik.uni-ulm.de
TIPP
TIPP 1015 1993-05-06 ???