Закрытый город Саров до 90-х назывался Арзамас-16. И сейчас для выезда из города нужен пропуск. Какой объект в Сарове называют Арзамас-17?