Philipp Klaus Krause <philipp@informatik.uni-frankfurt.de>

