linnhoff@ifi.lmu.de