Institut für Integrierte Publishing Informationssysteme - Einrichtung der GMD Darmstadt