Do you know this old record player?

I saw this on apartment therapy and I love that vintage record player. Does anyone know who made it?
vintage recordplayer.PNG

Never mind, i found it. Phillips 423 folding record player.
Phillips 423 folding record player.PNG