Im polnischen Krakau sind nach Schüssen mindestens fünf Menschen gestorben, mehrere wurden verletzt. Der Angreifer wurde laut Polizei »neutralisiert«.