Denmark's flag law repealed