drunknade i RiddarholmSkanalen arbetskarlen Olof Jansfon,