Searched refs:head_klasse_nam (Results 1 – 3 of 3) sorted by relevance
363 $head_klasse_nam = "head_klasse$k"; variable368 $$head_klasse_nam = "feiertag"; variable373 $$head_klasse_nam = "wochenende"; variable376 $$head_klasse_nam = "heute"; variable377 else $$head_klasse_nam = "tab"; variable
357 $head_klasse_nam = "head_klasse$k"; variable360 $$head_klasse_nam = "feiertag"; variable363 $$head_klasse_nam = "wochenende"; variable367 $$head_klasse_nam = "heute"; variable368 else $$head_klasse_nam = "tab"; variable
571 $head_klasse_nam = "head_klasse$k"; variable574 $$head_klasse_nam = "feiertag"; variable577 $$head_klasse_nam = "wochenende"; variable581 $$head_klasse_nam = "heute"; variable582 else $$head_klasse_nam = "tab"; variable