Install the KIELER features into your own Eclipse 4.3 installation.
Release
Pragmatics v. 2014-05
Nightly Build
http://rtsys.informatik.uni-kiel.de/~kieler/updatesite/nightly/pragmatics/