system för vaskning af stenkol och mineralier , samt namneligen : l:o användande af ånga eller annan gas för att åstadkomma ett uppstigande hydrauliskt tryck , sombestämmer