skallade snart längs kajerna och militärmusiken spelade upp tyska nationalhymnen.