För verkställande af dessalagar