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