Translations:Manual:GetLagTimes.php/9/de

Notwendig?