Årsdagen af John Ericssons grafsättning i Filipstad högtidlighölls derstädes i torsdags medelst allmän och enskild flaggningsamt