Gateway Pundit - Jim Hoft - is generally quite good. In this case he is relaying a report from a German media source. Frankly, as credible as it sounds to me, I'm very cautious of early reports of things. Early reports tend to be very incomplete, and have a lot of "facts" that are not; when there's a political narrative in the mix - e.g. Ferguson - it's even worse.