The Rock Manual. The use of rock in hydraulic engineering (second edition) (C683)