I have a ~5 year old Profilux 3.1N. After a recent <2h power outage, the clock reset to 00:00, although the clock should be battery-buffered (according to the manual) and should last several weeks. A year or two earlier it worked fine. Apparently the battery has been drained. How can I replace the battery?