Darmstadt gewinnt Wettbewerb „Digitale Stadt“