Talk:25 øre (World War II Danish coin)