How Much Space is Needed for a Ground Source Heat Pump?