kiljedom , som de båda stridande parterna på förhand underkasta sig,