högtidligen John Ericssons monument i Filipstad.