Polizeieinsätze in Fußballstadien: Die Kosten