Johannes Brun , den berömdenorske