Fritz Derom (1927-2019)