förtjenster och de flera vigtiga uppfinningar , han gjort i dykeriets tjenst , hade hugnat honom med en pension och diverse stora guldmedaljer.