Thomas Mosimann's scientific contributions