Københavns Kommune køber Holstrupgaard