Digitalstadt Darmstadt von Marco

Many websites still missed the great news and forgot to mention that Darmstadt is a 'Digitalstadt' now. This addon addresses this tremendous problem by replacing every occurrence of 'Darmstadt' on every website by 'Digitalstadt Darmstadt'.