nederlands volkslied – Er was een oorlogsschip