23-й начальник генштаба: Герци Халеви вступает в должность