Spillways; Devices for dissipation of energy, e.g. for reducing eddies {also for lock or dry-dock gates}