Terrorprozeß gegen IS-Chef kostet fast zehn Millionen Euro