These things are quite tricky to set (each time I change daylight saving, it's a 30 minute job to work it out).
There's one for sale on ebay at the moment, with manual:
http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&item=8931564781&rd=1&sspagename=STRK%3AMEWA%3AIT&rd=1
The seller might send you that part of the manual if you're lucky.