Text this: Marek Waldenberg (1926–2018)