Hi :)
thank you for your reply. I took your advise and tried to find a service manual, unfortunately with no success. The laptop does not overheat all the time, with light applications the CPU stays cool. The laptop gets only hot, when the CPU is working above ~70%, so the behavior seems...