{
    "Kindermann_TD-12xx": ["KindermannTD-12xx" ]
}