handpenning skall vid auktionen erläggas 3000 kronor.