Nederlands volkslied – Een oud pastoor