1-op-alg.tex
Completed the fixing:

- put the remark on the Tomita algebra as a Proposition (1.9) again
because parts are needed in Prop. 1.11
- completed proof of Prop 1.11
- minor modifications