efter den store wetenstapsmannens död firats.