Changed file-extension to .dsl