О Государственной корпорации по содействию разработке, производству и экспорту высокотехнологичной промышленной продукции "Ростех" (с изменениями на 4 августа 2023 года)