industriföreningens stora jubileum ; möjligtvis den 19 blir pris- ochmedaljdagen