End spaces of graphs are normal

We show that the topological space of any infinite graph and its ends is normal. In particular, end spaces themselves are normal.