Max-Planck-Institut für Informatik und Max-Planck-Institut für Softwareentwicklung