hvilken summa var afsedd för prägling af Polhemsmedaljen.