what all are in the states whose anthem is kong christian stod ved højen mast ?
SELECT DISTINCT var_uri where brack_open var_x dbo_anthem dbr_Kong_Christian_stod_ved_højen_mast sep_dot var_uri dbo_country var_x brack_close