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