History of the diving bell