Last modified: 2010-05-15 15:29:16 UTC
In LanguageDE.php the line "portal" => "Wikipedia-Portal" should be replaced by "portal" => "{$wgSiteName}-Portal". Otherwise the navigation bar always contains "Wikipedia-Portal"
Fixed in CVS HEAD