Translations:Manual:$wgMaxTocLevel/7/de

positive Ganzzahl