Die Polizei konnte einen möglichen Anschlag am Stephansdom verhindern.