Neubau der Dockschleuse Glückstadt. | Bautechnik