— ( Auktionskammaren ) kl. 12 : Arrendeauktion.