Update specification.tex

Updertered der timelernnnn