Welche Philips ?

[timo]

Da ist ein Zifferndreher in der Bezeichnung. Es ist eine 9137, keine 9173. Und wenn mich nicht alles täuscht, ist das dann namentlich auch gar keine Philips, sondern eine Hornyphon, Pye oder Radiola (als solche aber natürlich baugleich mit der N4407).