Law on compulsory use of trademarks: “cancellation for lack of use”