20151202 world.europe: Out: Long-hidden details of '72 Munich attacks