Martin “Buddy” Eckert 1934-2018