Imagens da megaoperação realizada pela polícia após um ataque com faca que fez vários mortos e feridos na cidade alemã de Würzburg.