offentlig auktion , som förrättas vidHimmel-