Dansker feirer også 17. mai.