Sound insulation of partition walls