Email Record: Rock grouting and diaphragm wall construction /