Nordkorea: Drei hochrangige Militärs entlassen