I dag fann general Doroschinsky hjeltedöden.