minor ( 1833 ) , dykningsapparater (1839