Martingale Restrictions and Implied Distributions for German Stock Index Option Prices