( 3741 Rättens ombudsman.