You're arguing with the claim that else is archaic, but this sub-thread is about whether it came from a German translation.