Hans Hass — Austrian biologist and underwater diving pioneer (1919–2013)