Ola Bratteli — Norwegian mathematician (1946–2015)