betydligt sjunkit , så att kajerna kring Riddarholmskanalen nu äro i det närmaste torra.