och åt rättens ombudsman lika stor summa.