på , att den mördade hette Nikolaus Martin och var 10 år och 4 månader gammal.