f. m . Grisauktion i Trekanten.