hade de vid kajerne liggande ångfartygen i går sina resp. flaggor kissade på half stång.