hvilken summa var afsedd för pregling af Polhemsmedaljen.