hvad vid auktionens slut antyddes,