Norges rikes tnsenårsfest den 18 Juli 1872 ( med pl.