Ex-Präsident Bush wird in Texas beigesetzt