Brooks’ type theorems for coloring parameters of locally finite graphs and König’s Lemma