Talk:2½ cents (World War II Dutch coin)