German police have ordered social media platform Gab to reveal the identity of one of its users who called German politician Ricarda fat. What crime did he commit?