( guldmynt ) och en dansk 25-öre.