Trevor Mann (1916–1996): Paediatrician responsible for the development of hospital services for children in Brighton, England. (May 2023)