Денис Мантуров поздравил работников электронной промышленности с профессиональным праздником