Caretaker manager Noel King was proud of Republic of Ireland's display in Germany and believes they should leave with their heads held high.