<?php print_r(json_decode('["Leder, sargassogr\u00fcn","Wei\u00df"]'));
You have javascript disabled. You will not be able to edit any code.