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

$lang['hideTools']        = 'Tools für anonyme Besucher ausblenden?';