Please read the following table in Markdown format and then answer the question according to the table. Table cells in one row are seperated by '|', and different rows are seperated by '
'.

Table:
| Orchestra | Conductor | Record Company | Year of Recording | Format |
| --- | --- | --- | --- | --- |
| London Symphony Orchestra | Antal Doráti | Mercury Records | 1959.0 | CD |
| Columbia Symphony Orchestra | Igor Stravinsky | Columbia Masterworks | 1961.0 | CD / LP |
| Royal Concertgebouw Orchestra | Colin Davis | Philips | 1978.0 | CD |
| Royal Danish Orchestra | Paul Jorgensen | Kultur | 1982.0 | DVD |
| Detroit Symphony Orchestra | Antal Doráti | Decca Records | 1982.0 | CD |
| Montreal Symphony Orchestra | Charles Dutoit | Decca Records | 1984.0 | CD |
| Seattle Symphony Orchestra | Gerard Schwarz | Delos Records | 1992.0 | CD |
| Chicago Symphony Orchestra | Pierre Boulez | Deutsche Grammophon | 1993.0 | CD |
| Kirov Orchestra | Valeri Gergiev | Philips Classics Records | 1998.0 | CD |
| Philharmonia Orchestra | Robert Craft | Koch Records / Naxos Records | 1996.0 | CD |
| Orchestre de Paris | Seiji Ozawa | EMI | 1997.0 | CD |
| San Francisco Symphony Orchestra | Michael Tilson Thomas | RCA | 1998.0 | CD |
| City of Birmingham Symphony Orchestra | Simon Rattle | EMI | 2008.0 | CD |
| Los Angeles Philharmonic Orchestra | Esa-Pekka Salonen | Deutsche Grammophon | 2008.0 | Digital download |
Question:
What record company has robert craft conducting?
Answer:
Koch Records / Naxos Records