kungen var Carl XV .)