verkställas genom att deni