Porten förbjöd emellertid domens verkställande,