6915 ) Rättens ombudsman.