Sulmi ndaj një polici në Berlin, sjell angazhimin e qindra forcave speciale