Vilhelm Schjelderup fyller 80 – vi gratulerer!