Anediagram for Johan Christian Halvorsen