added dagstuhl parser

(very important)

might work