<?php
/**
 * German language file for config
 *
 */

$lang['MainMenu'] = 'Menü-Bezeichner';
$lang['TocMaxHeight'] = 'Max. Höhe des Inhaltsverzeichnisses';