Manual:GetText.php/de-formal

Details
getText.php file is a maintenance script that outputs content of a given page (wikitext) to stdout. It could be used for scripting.

Advanced usage
If page title contains whitespace, it should be enclosed in double quotes ("), as shown in example.