Nederlands volkslied – Ha, ha, ha!