Lars Hörmander — mathematician (1931–2012) | namepick