Holländsk tiénever , fin Batavia-Irrae och Punsch,