Revert "removing the world dtd; this should have been removed a long time ago"
Reason: removing this dtd makes some playground tests fail.
This reverts commit 8db47ec528cd7a2c0a9eebdaa89d4d9093914ed7.
Authored by: vsp_nagel 2015-04-09
Parent: [r32615]
Child: [r32617]
