Johannes Brun var den endenorske