Broschüre "Sanierung des ehemaligen Gaswerkes in Darmstadt"