Munchen den » 7 Juli.