stoerrle [at] informatik.uni-muenchen.de
