Dirk Mudge (1928-2020)