RIP: Michael Wolf (1954-2019)