GTAI Workshop: Smart Cities in Germany - From Pilot to Market