"symbol table" Deutsche bedeutung