Ile jest warta północnokoreańska firma audytorska?