är , att exekutiv auktion måste ega rum.