New Binary $[70,35,12]$ Self-Dual and Binary $[72,36,12]$ Self-Dual Doubly-Even Codes

∗ This work was supported in part by the Bulgarian NSF under Grant MM-901/99