öfversvämning ; i grufva.