+ Encoder von Martini-Contrib für Json verwendet.