alltså sannolikt , att exekutiv auktion måste äga rum.