JSON formatting

Signed-off-by: Lars Kiesow <lkiesow@uos.de>