Obituary: Paul Nikolaos Tides