Schütz v Werit: when repairing a patented product is permitted