Ein Mann rastete in der Leopoldstadt aus – die Polizei rückte aus.