polizeiseelsorger und kriseninterventionsteams kümmerten sich um die beteiligten und angehörigen.