if ($knoten){