Bob Marvin (1941-2018)