Hi, I think i've been lucky to discover a Philips timer at work, we've been clearing out an old darkroom and i found a Philips PDT 021 timer, trouble is there is no manual, can anyone tell me how this works?

Thanks,
Toni