Search: Hornung, T, informatik.uni-freiburg.de