Johan Garmann Ingebrethsen Grude — Norwegian politician (1825–1907)