Wolf,
OK, the clock to generate the C9-pin12 (0.5MHz) signal is fine so it's starting to look like like C9-pin12 is dead. Since it is low, there is a small chance that something is holding it down (short). Take a quick look at it loads at B5-pin14 and C5-pin9 for solder splash, etc. If nothing obvious then you will have to replace the 74LS93 counter (C9).
If you are not experienced with replacing a 14 pin IC, it will be easier if you use a small diagonal cutter to cut off all the legs as close to the IC body as you can to leave legs accessible at solder joints. Then using solder wick, remove solder and leg using needle nose, etc., one at a time using minimum heat. This will allow removal and cleanup of solder feedthroughs with minimum chance of overheating the printed circuit board and associated traces.
You might consider installing a socket first rather than installing the new chip directly in.
If this fixes the clocks, you will have good video horizontal & vertical drive signals. The horizontal drive will also be used as the switching signal to generate the high voltage for the CRT. You should then have an operating CRT. We can then go on to whatever the next issue is with the PET if any.
-Dave