( f. d. Kristiansborgs mejeri .)