Vintage record player radio cabinet

Original German radio cabinet from the 1950s, which belonged to my grandmother: in other words, it has been in the family for over 70 years. The varnish is in very good condition considering its age, apart from a small dent on the top shelf (see photo); there is a lovely gold trim embedded in the varnish around the perimeter of the top shelf; the lines are very elegant. The Telefunken record player is there; it still worked about ten years ago, but I didn't have the chance to check it after picking it up last month. I opted to restore the cabinet: since a leg was torn off during the move, I properly reinforced the bottom with a sheet of plywood from underneath (glued/screwed) and reattached the legs with new screws; the legs are removable, screwed into a cast metal base.