In memoriam: Miki Muster (1925 – 2018)