Hasso-Plattner-Institut für; Softwaresystemtechnik GmbH Trademarks