Spaniens Ex-König Juan Carlos mit Erfolg am Knie operiert