Energy density functional on a microscopic basis