högtidsdag den 20 december sistlidna år af professor G . Ljunggren,