Schwerbewaffnete Polizisten mussten rund um Weihnachten die Besucher des Stephansdoms schützen.