öfverlemnat 12,000 kronor att användas till Gripsholms restaurering.