Berlin premiere of “Thor: The Dark World,” aka “Thor: The Dark Kingdom.”