Also so schauts aus.
Ich habe den Spielstand wieder geladen und sah, dass ich den Scharfschützen auf dem Dach schon ausgeschalten hatte.
Da das Level eh noch nicht so lang ging, dachte ich mir einfach, startest halt von neu und diesemal ging es weiter, wieso auch immer. Vermutlich einer der vielen Bugs bei Crysis. Was solls.