RUAG Ammotec wird wohl verkauft