6100 ) Rättens ombudsman.